[工作日志][2022.7.6][暑期实习/英语] 发表于 2022-07-06 更新于 2022-07-12 分类于 worklog 任务 探索三个方向 练习英语 学习lua testOS适配Imbench 流水账 小猪佩奇对小学生来说可能有些幼稚,但是对大学生来说刚刚好。挑战52天背完小猪佩奇 发现一个神奇的方向,理论计算机科学和编程语言理论,两个关键词停机问题和函数式编程 和老师第二次面谈,确定了方向细节,并且收获了几篇需要阅读的文章 Memory-Safety Challenge Considered Solved? An In-Depth Study with All Rust CVEs Benefits and Drawbacks of Adopting a Secure Programming Language: Rust as a Case Study Keeping Safe Rust Safe with Galeed